29. An introduction to mathematical logic and type theory :
المؤلف: by Peter B. Andrews.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Type theory.
رده :
QA9
.
B974
2011
30. An introduction to mathematical logic and type theory: to truth through proof
المؤلف: Andrews, P. B. )Peter Bruce(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
2002
31. An introduction to mathematical logic and type theory : to truth through proof
المؤلف: Andrews, Peter Bruce
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
1986
32. An introduction to mathematical logic and type theory. to truth through proof
المؤلف: Andrews, P. B.)Peter Bruce(,7391-, Peter B. Andrews
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
33. An introduction to mathematical logic and type theory: to truth through proof
المؤلف: Andrews, Peter Bruce
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
35. BL,BL
المؤلف: / Marshall G.S. Hodgson. ,20090530 0
المکتبة: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع:
36. Biological aging :
المؤلف: edited by Trygve O. Tollefsbol.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Aging-- Physiological aspects, Laboratory manuals.,Longevity, Laboratory manuals.,Aging-- physiology.,Biomarkers.,Cellular Senescence-- physiology.,Longévité, Manuels de laboratoire.,Vieillissement-- Aspect physiologique, Manuels de laboratoire.,Aging-- Physiological aspects.,FAMILY & RELATIONSHIPS-- Aging.,Longevity.,MEDICAL-- Nursing-- Gerontology.
رده :
QP86
.
B56
2007eb
37. Cold war history
المؤلف: edited by Frédéric Bozo ... [ et al.].
المکتبة: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع:
38. Includes bibliographical references (p. 49-51). 0,B
المؤلف: Zeren Tanındı. ,/ Katie Normington.
المکتبة: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع:
39. Machine generated contents note: The Context -- Development of Islamic Thought in the -- 20th Century -- Features of the Socio-Economic Development -- in the Occupied Territories and the Intifada -- PART ONE: THE BASIC THEMES IN THE -- THOUGHT OF HAMAS -- The Problem: Israel, Zionism and the Jews -- The Goal: An Islamic Palestinian State -- Sense of Urgency: Mass-Immigration -- of Soviet Jews -- Hostility and Isolation -- The International Community -- The Arab-Muslim Countries -- The Traditional Palestinian Leadership -- Means -- Palestine:Jihad in Form of the Intifdda -- The Arab-Muslim World: Islamisation -- and Democratisation -- Self-Image of Islam -- v Inner Enemy: The Palestinian -- Liberation Organisa
المؤلف: Andrea Nüsse.
المکتبة: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع:
40. Managing the unmanageable : systematic downloading of electronic resources by library users / Gayle Baker, Carol Tenopir -- Library/vendor relations : the APA experience / Linda Beebe -- Managing customer relationships : a book vendor point-of-
المؤلف: Sam Brooks, David H. Carlson, editors.
المکتبة: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع:
